In mathematics, the Kronecker delta or Kronecker's delta, named after Leopold Kronecker, is a function of two variables, usually integers, which is 1 if they are equal and 0 otherwise. So, for example,
It is written as the symbol δij, and treated as a notational shorthand rather than as a function.
Contents |
Using the Iverson bracket:
Often, the notation is used.
In linear algebra, it can be thought of as a tensor, and is written . Sometimes the Kronecker delta is called the substitution tensor. [1]
Similarly, in digital signal processing, the same concept is represented as a function on (the integers):
The function is referred to as an impulse, or unit impulse. And when it stimulates a signal processing element, the output is called the impulse response of the element.
The Kronecker delta has the so-called sifting property that for :
and if the integers are viewed as a measure space, endowed with the counting measure, then this property coincides with the defining property of the Dirac delta function
and in fact Dirac's delta was named after the Kronecker delta because of this analogous property. In signal processing it is usually the context (discrete or continuous time) that distinguishes the Kronecker and Dirac "functions". And by convention, generally indicates continuous time (Dirac), whereas arguments like i, j, k, l, m, and n are usually reserved for discrete time (Kronecker). Another common practice is to represent discrete sequences with square brackets; thus: . It is important to note that the Kronecker delta is not the result of directly sampling the Dirac delta function.
The Kronecker delta is used in many areas of mathematics.
In linear algebra, the identity matrix can be written as .
If it is considered as a tensor, the Kronecker tensor, it can be written with a covariant index j and contravariant index i.
This (1,1) tensor represents:
In probability theory and statistics, the Kronecker delta and Dirac delta function can both be used to represent a discrete distribution. If the support of a distribution consists of points , with corresponding probabilities , then the probability mass function of the distribution over can be written, using the Kronecker delta, as
Equivalently, the probability density function of the distribution can be written using the Dirac delta function as
Under certain conditions, the Kronecker delta can arise from sampling a Dirac delta function. For example, if a Dirac delta impulse occurs exactly at a sampling point and is ideally lowpass-filtered (with cutoff at the critical frequency) per the Nyquist–Shannon sampling theorem, the resulting discrete-time signal will be a Kronecker delta function.
In the same fashion, we may define an analogous, multi-dimensional function of many variables
This function takes the value 1 if and only if all the upper indices match the corresponding lower ones, and the value zero otherwise.
For any integer n, using a standard residue calculation we can write an integral representation for the Kronecker delta as the integral below, where the contour of the integral goes counterclockwise around zero. This representation is also equivalent to a definite integral by a rotation in the complex plane.
The Kronecker comb function with period N is defined (using digital notation) as:
where N and n are integers. The Kronecker comb thus consists of an infinite series of unit impulses N units apart, and includes the unit impulse at zero. It may be considered to be the discrete analog of the Dirac comb.